The Differentiable Structure of Three Remarkable Diffeomorphism Groups
نویسنده
چکیده
The goal of this paper is to find the "Lie groups" for three well-known Lie algebras: the globally Hamiltonian vector fields, the infinitesimal quantomorphisms and the homogeneous real-valued functions of degree one on the cotangent bundle minus the zero section. In all our considerations the underlying manifold is assumed to be compact without boundary. Before explaining and motivating our results, a very brief review of the "Lie group" structure of diffeomorphism groups is in order ([9, 10, 18]). If M, N are compact, boundaryless, finite-dimensional manifolds, rN: TN--,N, the tangent bundle of N, an HS-map, s>(dimM)/2, from M to N has by definition all derivatives of order < s in any local chart square integrable. This notion is independent of the charts only for s >(dim M)/2. Then the space IP(M, N) of all such maps is a Hilbert manifold whose tangent space at every point is the Hilbert space T I. H~(M, N) = {gelid(M, TN) I ~:N ~ g =f} If E---, M is a vector bundle, the same construction works for all HS-sections HS(E) of E, s > (dim M)/2. If N = IR, HS(M, N) will be denoted by C~(M, IR). Let ~ + I ( M ) denote the diffeomorphisms of M of Sobolev class H s+l, i.e. r t ~ + l ( M ) if and only if t/ is bijective and t/, t ] l : M---,M are of class H ~+1. ~s+l(M) is a topological group, and since it is open in Hs+I(M,M), it is also a Hilbert manifold. Right multiplication R~: @~+ ~(M) ~ + I(M), R,(~) = ~ o t/ is C ~ for each t / ~ Y +~(M) and if t/E@ s+k+l(M), left multiplication L , : ~ + t ( M ) ~ + I ( M ) , L~(~)=t/o~ is C k. The inversion map t/~--~t/-1 in ~ + t(M) is only continuous. The tangent maps of R, and L, at e, the identity of ~ + a ( M ) , are given by Tr TeL,(X)=T~oX, where X~Yys+I(M) =HS+I(TM), the set of all H~+l-vector fields on M. The tangent space at e, Tr coincides with Y'~+~(M), which is a Sobolev space. The bracket [X, Y] of X, y ~ f s + I(M ) is however only of class H ~ (one derivative is lost). The usual bracket of vector fields is the Lie algebra bracket of 5F ~+ X(M), i.e. if J(,
منابع مشابه
Decomposition Theorems for Groups of Diffeomorphisms in the Sphere
We study the algebraic structure of several groups of differentiable diffeomorphisms in Sn. We show that any given sufficiently smooth diffeomorphism can be written as the composition of a finite number of diffeomorphisms which are symmetric under reflection, essentially one-dimensional and about as differentiable as the given one.
متن کاملA Survey of Some Recent Developments in Differential Topology
1. We consider differential topology to be the study of differentiable manifolds and differentiable maps. Then, naturally, manifolds are considered equivalent if they are diffeomorphic, i.e., there exists a differentiable map from one to the other with a differentiable inverse. For convenience, differentiable means C; in the problems we consider, C' would serve as well. The notions of different...
متن کاملGroups of Diffeomorphisms for Manifolds with Boundary and Hydrodynamics
Introduction 1 1. A review of the Hilbert manifold of maps and diffeomorphism groups 5 1.1. Notation 7 2. New diffeomorphism subgroups 8 2.1. Neumann boundary conditions for diffeomorphisms 8 2.2. Mixed boundary conditions for diffeomorphisms 12 2.3. Dirichlet boundary conditions for diffeomorphisms 14 2.4. The group exponential map 14 2.5. A unified approach to differentiable structure on subg...
متن کاملGeneralized Rochlin Invariants of Fixed Point Sets
The Rochlin invariant for 3-manifolds is extended to higher dimensions using a result of Ochanine. Given a semifree differentiable S-action on a closed mod 2 homology sphere M with fixed point set F , generalized Rochlin invariants are definable for both M and F , and one result of this paper states that these two invariants are equal. This yields restrictions on the types of semifree different...
متن کاملAffine Anosov Diffeomorphims of Affine Manifolds
̂ M of the connection ∇M to the universal cover ̂ M of M is a locally flat connection. The affine structure of ̂ M is defined by a local diffeomorphism DM : ̂ M → R called the developing map. The developing map gives rise to a representation hM : π1 M → Aff R called the holonomy. The linear part L hM of hM is the linear holonomy. The affine manifold M,∇M is complete if and only if DM is a diffeomor...
متن کامل